Jim Davies (eds.): przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (14)
Najbardziej popularne
Spis
- Spis
- Tablica

1

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 11.33 MB

0 / 0

english, 1999

2

Developments in Services of General Interest

Developments in Services of General Interest

T.M.C. Asser Press

Erika Szyszczak (auth.), Erika Szyszczak, Jim Davies, Mads Andenæs, Tarjei Bekkedal (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 1.36 MB

0 / 0

english, 2011

3

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 6.34 MB

0 / 0

english, 2004

4

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Bernhard Schätz (auth.), Jim Davies, Wolfram Schulte, Mike Barnett (eds.)

Rok:

2004

Język:

english

Plik:

PDF, 14.41 MB

0 / 0

english, 2004

5

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.37 MB

0 / 0

english, 2011

6

Cryocoolers 11

Cryocoolers 11

Thom Davis, B. J. Tomlinson, Jim Ledbetter (auth.), R. G. Ross Jr. (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 30.41 MB

0 / 0

english, 2002

7

Cryocoolers 11

Cryocoolers 11

Thom Davis, B. J. Tomlinson, Jim Ledbetter (auth.), R. G. Ross Jr. (eds.)

Rok:

2002

Język:

english

Plik:

PDF, 24.50 MB

0 / 0

english, 2002

8

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 5.44 MB

0 / 5.0

english, 2011

9

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 14.06 MB

0 / 0

english, 1999

10

Victorian Pantomime: A Collection of Critical Essays

Victorian Pantomime: A Collection of Critical Essays

Palgrave Macmillan UK

Jim Davis (eds.)

Rok:

2010

Język:

english

Plik:

PDF, 5.86 MB

0 / 0

english, 2010

11

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 10.75 MB

0 / 0

english, 1999

12

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Nazareno Aguirre, Germán Regis, Tom Maibaum (auth.), Jim Davies, Jeremy Gibbons (eds.)

Rok:

2007

Język:

english

Plik:

PDF, 6.13 MB

0 / 0

english, 2007

13

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Leuschel, Jens Bendisposto (auth.), Jim Davies, Leila Silva, Adenilso Simao (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.66 MB

0 / 0

english, 2011

14

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Rok:

1999

Język:

english

Plik:

PDF, 16.87 MB

0 / 0

english, 1999